#include <stdio.h>
#include "config.h"

int main()
{
	printf("The max 32bit signed int is:%d\n",BX_MIN_BIT32S);
	return 0;
}
